Dump full vCPU polling mask from 'e' key handler

Signed-off-by: Jan Beulich <jbeulich@novell.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c
index 29c515cf0cee5d519a875a0201d603663ba1ce07..b6a15d68a4a59eee9cf76dd80f2a6c79de759eb5 100644 (file)
--- a/xen/common/event_channel.c
+++ b/xen/common/event_channel.c
@@ -1068,7 +1068,10 @@ static void domain_dump_evtchn_info(struct domain *d)
 {
     unsigned int port;
 
-    printk("Domain %d polling vCPUs: %08lx\n", d->domain_id, d->poll_mask[0]);
+    bitmap_scnlistprintf(keyhandler_scratch, sizeof(keyhandler_scratch),
+                         d->poll_mask, d->max_vcpus);
+    printk("Domain %d polling vCPUs: {%s}\n",
+           d->domain_id, keyhandler_scratch);
 
     if ( !spin_trylock(&d->event_lock) )
         return;